RECONSTRUCTION OF NON-ℵ0-CATEGORICAL THEORIES
نویسندگان
چکیده
We generalise the correspondence between -categorical theories and their automorphism groups to arbitrary complete in classical logic, some (including, particular, all ones) continuous logic.
منابع مشابه
The Complexity of the Index Sets of א0-categorical Theories and of Ehrenfeucht Theories
We classify the computability-theoretic complexity of two index sets of classes of first-order theories: We show that the property of being an א0-categorical theory is Π3-complete; and the property of being an Ehrenfeucht theory Π1-complete. We also show that the property of having continuum many models is Σ1hard. Finally, as a corollary, we note that the properties of having only decidable mod...
متن کاملא0-categorical Structures: Endomorphisms and Interpretations
We extend the Ahlbrandt–Ziegler analysis of interpretability in א0-categorical structures by showing that existential interpretation is controlled by the monoid of self–embeddings and positive existential interpretation of structures without constant endomorphisms is controlled by the monoid of endomorphisms in the same way as general interpretability is controlled by the automorphism group.
متن کاملא0-categorical Groups and Their Completions
1 2 3 We embed a countably categorical group G into a locally compact group G with a non-trivial topology and study how topological properties of G are connected with the structure of definable subgroups of G .
متن کاملא0-categorical Strongly Minimal Compact Complex Manifolds
Essential א0-categoricity; i.e., א0-categoricity in some full countable language, is shown to be a robust notion for strongly minimal compact complex manifolds. Characterisations of triviality and essential א0-categoricity are given in terms of complex-analytic automorphisms, in the simply connected case, and correspondences in general. As a consequence it is pointed out that an example of McMu...
متن کاملBorel completeness of some א0-stable theories
We study א0-stable theories, and prove that if T either has eniDOP or is eni-deep, then its class of countable models is Borel complete. We introduce the notion of λ-Borel completeness and prove that such theories are λ-Borel complete. Using this, we conclude that an א0-stable theory satisfies I∞,א0(T, λ) = 2 λ for all cardinals λ if and only if T either has eni-DOP or is eni-deep.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Logic
سال: 2021
ISSN: ['1943-5886', '0022-4812']
DOI: https://doi.org/10.1017/jsl.2021.71